|
|
Vytváření mobilních aplikací metodou reaktivního programování
Kříž, Matyáš ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Programování mobilních aplikací v systému iOS zavádí nebo doporučuje používání asynchronních volání procedur a paralelismus. Bývá obtížné v takovýchto aplikacích udržet přehled o toku událostí v programu. Zavádí se různé metodiky návrhu aplikací založených na asynchronnosti a paralelismu. Jednou z nich je tzv. reaktivní programovaní. Ve své práci se inspiruji metodikou nazývanou ReactiveX a odvozuji z ní metodiku podobnou, o níž se domnívám, že vystihuje metodiku ReactiveX v podstatných ohledech, je však jednodušší.
|
|
|
Adaptér OSLC pro framework ANaConDA
Vašíček, Ondřej ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
Předmětem této práce je ověření konceptu rozšiřování akademických programových nástrojů o OSLC rozhraní. Proces rozšíření nástroje o OSLC rozhraní je demonstrován vytvořením OSLC adaptéru pro prostředí ANaConDA za použití Eclipse Lyo. Cílem této práce je umožnit integraci prostředí ANaConDA s jinými programovými nástroji. Práce poskytuje základní úvod k prostředí ANaConDA, OSLC a Eclipse Lyo spolu s přehledem souvisejících konceptů. Dále je popsán návrh a implementace vytvořeného OSLC adaptéru. Výsledkem této práce je zhodnocení procesu vytváření OSLC adaptéru a představení implementovaného OSLC adaptéru pro prostředí ANaConDA. Závěrem je zmíněna má předchozí práce na rozšiřování prostředí ANaConDA ve formě implementace dvou detektorů souběhů, FastTrack a Eraser.
|
|
|
Testování vícevláknových programů pomocí šumu
Kotyz, Jan ; Smrčka, Aleš (oponent) ; Letko, Zdeněk (vedoucí práce)
Cílem této bakalářské práce je vytvoření nástroje pro testování vícevláknových programů vytvořených v jazyce Python. Tento nástroj pro testování sleduje běh testovaného vícevláknového programu, pomocí instrumentace bajtkódu, a na vybraných místech provádí vkládání šumu. Tím výrazně napomáhá ke zvýšení pravděpodobnosti projevu chyb a umožňuje tak efektivnější odhalení chyb typických pro vícevláknové programy. Výsledkem této práce je funkční nástroj pro testování vícevláknových programů v Pythonu.
|
|
|
Bounded model checking v nástroji Java PathFinder
Dudka, Vendula ; Češka, Milan (oponent) ; Křena, Bohuslav (vedoucí práce)
Diplomová práce je věnovaná aplikaci formální metody bounded model checking pro automatickou opravu chyb. Oprava se specializuje na chyby spojené se souběžností. Práce je zaměřena na programy napsané v jazyce Java, a proto pro verifikační metodu byl zvolen model checker Java Pathfinder, který je určen pro Java programy. Vlastní verifikační metoda spočívá v aplikaci strategie pro navigaci stavovým prostorem do místa verifikace. Z daného místa je spuštěn bounded model checking pro ověření opravy. Navigace stavovým prostorem je implementována pomocí strategie record&replay trace. Pro aplikaci bounded model checkingu jsou implementovány další parametry a moduly pro verifikaci speciálních vlastností systému, které ověřují koreknost opravy chyby. Bounded model checking se provádí v okolí opravy.
|
|
|
Practical Methods of Automated Verification of Concurrent Programs
Fiedor, Jan ; Arcaini, Paolo (oponent) ; Farchi, Eitan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Nowadays, multi-threaded programs are quite common and so are concurrency errors. Over the years, many techniques were developed to detect such errors, yet software developers still struggle to find the right tools to analyse their programs. The reason is simple, working does not always mean practical. Many tools implementing the detection techniques are hard to use, tailored for a specific kind of programs or synchronisation, or do not scale well to handle large software. For some types of concurrency errors, no tools even exist, yet many software developers encounter such errors in their programs. The main goal of this thesis is to develop new techniques for detecting errors in multi-threaded programs. These techniques should be able to handle complex programs, allow one to detect some of the less studied types of concurrency errors, and support a broad variety of programs.
|
|
|
Read-Copy-Update for HelenOS
Hraška, Adam ; Děcký, Martin (vedoucí práce) ; Podzimek, Andrej (oponent)
Rozšírenie viacjadrových procesorov zvýšilo záujem o škálovateľné synchronizačné primitíva ako je Read-Copy Update. Zatiaľčo RCU je populárne v monolitických kerneloch operačných systémov, doposiaľ nebolo nasadené v prostredí mikrokernelov. V práci navrhneme a implementujeme RCU pre mikrokernelový operačný systém HelenOS. Navyše preskúmame možnosti použitia RCU v HelenOSe a demonštrujeme užitočnosť RCU tak v kerneli ako aj v user space. Merania ukazujú, že implementované RCU poskytuje lineárnu škálovateľnosť RCU čitateľov a RCU vyžaduje omnoho nižšiu réžiu pri vstupe do chránenej sekcie ako bežné zámky a to i v ideálnom prípade pre zámky. RCU sme využili v user space na 2.6 násobné zrýchlenie tradičných zámkov. V kerneli RCU zabezpečilo lineárnu škálovateľnosť futexového podsystému. Powered by TCPDF (www.tcpdf.org)
|
|
|
Practical Methods of Automated Verification of Concurrent Programs
Fiedor, Jan ; Arcaini, Paolo (oponent) ; Farchi, Eitan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Nowadays, multi-threaded programs are quite common and so are concurrency errors. Over the years, many techniques were developed to detect such errors, yet software developers still struggle to find the right tools to analyse their programs. The reason is simple, working does not always mean practical. Many tools implementing the detection techniques are hard to use, tailored for a specific kind of programs or synchronisation, or do not scale well to handle large software. For some types of concurrency errors, no tools even exist, yet many software developers encounter such errors in their programs. The main goal of this thesis is to develop new techniques for detecting errors in multi-threaded programs. These techniques should be able to handle complex programs, allow one to detect some of the less studied types of concurrency errors, and support a broad variety of programs.
|
|
|
Adaptér OSLC pro framework ANaConDA
Vašíček, Ondřej ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
Předmětem této práce je ověření konceptu rozšiřování akademických programových nástrojů o OSLC rozhraní. Proces rozšíření nástroje o OSLC rozhraní je demonstrován vytvořením OSLC adaptéru pro prostředí ANaConDA za použití Eclipse Lyo. Cílem této práce je umožnit integraci prostředí ANaConDA s jinými programovými nástroji. Práce poskytuje základní úvod k prostředí ANaConDA, OSLC a Eclipse Lyo spolu s přehledem souvisejících konceptů. Dále je popsán návrh a implementace vytvořeného OSLC adaptéru. Výsledkem této práce je zhodnocení procesu vytváření OSLC adaptéru a představení implementovaného OSLC adaptéru pro prostředí ANaConDA. Závěrem je zmíněna má předchozí práce na rozšiřování prostředí ANaConDA ve formě implementace dvou detektorů souběhů, FastTrack a Eraser.
|
|
|
Vytváření mobilních aplikací metodou reaktivního programování
Kříž, Matyáš ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Programování mobilních aplikací v systému iOS zavádí nebo doporučuje používání asynchronních volání procedur a paralelismus. Bývá obtížné v takovýchto aplikacích udržet přehled o toku událostí v programu. Zavádí se různé metodiky návrhu aplikací založených na asynchronnosti a paralelismu. Jednou z nich je tzv. reaktivní programovaní. Ve své práci se inspiruji metodikou nazývanou ReactiveX a odvozuji z ní metodiku podobnou, o níž se domnívám, že vystihuje metodiku ReactiveX v podstatných ohledech, je však jednodušší.
|
|
|
Marketingový plán fitness centra Alegría
Vorlová, Kateřina ; Voráček, Josef (vedoucí práce) ; Šíma, Jan (oponent)
Název: Marketingový plán fitness centra Alegría. Cíle: Cílem bakalářské práce je vytvořit marketingový plán, který do budoucna poslouží jako reálný návod k zavedení nového fitness centra. A dále na základě provedeného výzkumu zjistit, jaké jsou základní potřeby návštěvníků fitness center a která z uvedených konkurencí představuje největší hrozbu. Metody: Pro získání primárních dat byla použita metoda písemného dotazování, která zkoumala základní potřeby zákazníků fitness center v Táboře. Analýza konkurence byla provedena pomocí scoring modelu a následně byla vyhodnocena jednotlivá kritéria. Výsledky: Výzkum pomocí písemného dotazování přinesl jednak odpovědi na to, kdy klienti navštěvují fitness centra nejčastěji, jaký způsob platby preferují a jak se do fitness center dopravují, ale také odpovědi na to, jakých služeb využívají nejvíce a z jakého důvodu fitness centra navštěvují. Analýza konkurence ukázala, že největší hrozbu pro Fitness centrum Alegría znamená Fitness Tábor, a to díky své dostupnosti, parkovacím možnostem a kvalitě vybavení. Následuje OK Fit Studio s velkým výběrem poskytovaných služeb. Klíčová slova: služby, marketingový mix služeb, marketingový plán, strategie, SWOT analýza, konkurence
|
host ::
RSS.